separated completion

[数] 可分完备化